Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets
نویسندگان
چکیده
This paper presents a performance and dependability study of a software fault-tolerant memory mechanism, namely the Distributed Memory (DM), which has been developed within a R&D European project. Relying on the UML specification (produced within the project), Stochastic Well-Formed Nets models of the DM are developed and analysed. Combinatorial methods are used in conjunction with state space based methods to study the impact of the mechanism configuration on its reliability and performance.
منابع مشابه
Safety-Reliability of Distributed Embedded System Fault Tolerant Units
In this paper we compare the relative performance of two fault tolerant mechanisms dealing with repairable and non-repairable components that have failed. The relative improvement in the reliability and safety of a system with repairable components is calculated with respect to the corresponding system where the components are not repairable. The fault tolerant systems under study correspond to...
متن کاملDependability and Security Models (Keynote Paper)
There is a need to quantify system properties methodically. Dependability and security models have evolved nearly independently. Therefore, it is crucial to develop a classification of dependability and security models which can meet the requirement of professionals in both fault-tolerant computing and security community. In this paper, we present a new classification of dependability and secur...
متن کاملApproximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets
Haverkort, B.R., Approximate performability and dependability analysis using generalized stochastic Petri nets, Performance Evaluation 18 (1993) 61-78. Since current day fault-tolerant and distributed computer and communicat ion systems tend to be large and complex, their corresponding performability models will suffer from the same characteristics. Therefore, calculating performability measure...
متن کاملStochastic Activity Networks for the Modeling of Repairable Systems including Diagnosis Performance
The productivity and quality requirements have conducted the manufacturing systems to be more and more complex. Indeed, many sub-systems are in interaction such that the process system, the control system and the supervision or diagnosis system. The dependability and availability analysis in those systems is of a major importance, since they impact directly on system’s productivity and safety. ...
متن کاملComparison of Methodologies for the Safety and Dependability Assessment of an Industrial Programmable Logic Controller
Computer based systems, which are devoted to control critical functions, may incur in safety and dependability problems. In the safety area a new standard is currently emerging, IEC 61508, which is intended to provide a unified framework which may deserve as guideline for the analysis of safety related systems. The present paper deals with the safety and dependability analysis of a Programmable...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004